package prolog.terms

class Fun2(sym: String) extends Const(sym) {

  // final def getArity() = args.length not needed
  //def this(s: String, a: Array[Real]) = this(s, new Array[Term](a))

}
